Include a "make check-maybe" in the admin/emake script

diff --git a/admin/emake b/admin/emake
index d9aa4ea74bdf67ca653bb47c8b6906992e5391f9..e95b17dbdc2796aabc322d43f53448fc09467792 100755 (executable)
--- a/admin/emake
+++ b/admin/emake
@@ -83,3 +83,9 @@ do
   [[ "X${REPLY:0:3}" == "X   " ]] && C="\033[1;31m"
   [[ "X$C" == "X" ]] && printf "%s\n" "$REPLY" || printf "$C%s\033[0m\n" "$REPLY"
 done
+
+# Run a "make check" on all test files belonging to files that have
+# changed since last time.
+make -j$cores check-maybe 2>&1 | \
+    sed -n '/contained unexpected results/,$p' | \
+    egrep --line-buffered -v "^make"